Constutents DB

  1. Eq Rewriting:

      Impl Rewriting:

      1. Eq Rewriting:

          Impl Rewriting:

          1. Eq Rewriting:

              Impl Rewriting:

              1. Eq Rewriting:

                  Impl Rewriting:

                  1. Eq Rewriting:

                      Impl Rewriting:

                      1. Eq Rewriting:

                        Impl Rewriting:

                      2. Eq Rewriting:

                        Impl Rewriting:

                      3. Eq Rewriting:

                        Impl Rewriting:

                      4. Eq Rewriting:

                        Impl Rewriting:

                      5. Eq Rewriting:

                        Impl Rewriting:

                      6. Eq Rewriting:

                          Impl Rewriting:

                          1. Eq Rewriting:

                              Impl Rewriting:

                              1. Eq Rewriting:

                                  Impl Rewriting:

                                  1. Eq Rewriting:

                                      Impl Rewriting:

                                      1. Eq Rewriting:

                                          Impl Rewriting:

                                          1. Eq Rewriting:

                                              Impl Rewriting:

                                              Sentences DB

                                              Sentence #0

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #1

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #2

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #3

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #4

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #5

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #6

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #7

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #8

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #9

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #10

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #11

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #12

                                              Logic form:

                                              Minimal Constituents:

                                              Sentence #13

                                              Logic form:

                                              Minimal Constituents: